141. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989


142. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
76
.
9
.
D5
T39
1989


143. Finite representations of CCS and TCSP programs by automata and Petri nets
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;

144. Formal methods for concurrency
Author: Fencott, Clive
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
Classification :
QA
76
.
54
.
F46
1996


145. From problem to program
Author: / M. E. Wardle
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming,Electronic data processing - Mathematics
Classification :
001
.
642
W266


146. From problem to program
Author: Wardle, M E
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
Classification :
QA
76
.
6
.
W35


147. Fundamentals of computer science
Author: Walker, Terry M, 8391-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Electronic data processing,، Electronic digital computers - programming
Classification :
QA
76
.
W19


148. GNU Octave
Author: Jesper Schmidt Hansen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Numerical analysis-- Data processing,Programming languages (Electronic computers)
Classification :
QA76
.
73
.
G58
S36
2011


149. Handbook of circuit analysis languages and techniques
پدیدآورنده : Jensen, Randall W.
موضوع : ، Electronic circuit design-- Data processing,، Programming language )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
150. Handbook of circuit analysis languages and techniques
Author: / editors, Randall W. Jensen, Lawrence P. McNamee
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic circuit design -- Data processing,Programming languages (Electronic computers)
Classification :
TK
7867
.
J39
R


151. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
Classification :
TK
7888
.
3
.
I57
1997


152. How to solve it by computer
Author: / by R.G. Dromey
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics - Data processing,Problem solving - Data processing,Electronic digital computers - Programming
Classification :
QA
76
.
95
.
D76
1992


153. How to solve it by computer
Author: / R.G. Dromey
Library: Library and knowledge management of the management schools of Tehran University (Tehran)
Subject: Mathematics - Data processing,Problem solving - Data processing,Electronic Digital computers - programming
Classification :
519
.
4
D786h


154. How to solve it by computer
Author: / by R.G. Dromey
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Data processing,Problem solving -- Data processing,Electronic digital computers -- Programming
Classification :
QA
76
.
95
.
D76
1982


155. How to solve it by computer
Author: Dromey, R. G.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming
Classification :
QA
76
.
95
.
D75


156. Information processing and computer programming
Author: / (by) Harold C. Hill
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing,Electronic digital computers -- Programming
Classification :
QA
76
.
H48


157. Information processing and computer programming: an introduction
Author: Hill, Harold C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing,، Electronic digital computers-- Programming
Classification :
QA
76
.
H48


158. Informationsverarbeitung :
Author: Juergen Rasch, Angele Daalmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Programming languages (Electronic computers)

159. Informatique
Author: / par Daniel-Jean David,David
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
Classification :
QA
76
.
D33328


160. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
BF
311
.
I5664
1996

